首页> 外文OA文献 >Executing the formal semantics of the Accellera Property Specification Language by mechanised theorem proving

【2h】

Executing the formal semantics of the Accellera Property Specification Language by mechanised theorem proving

机译：通过机械化定理证明执行accellera属性规范语言的形式语义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mike Gordon; Joe Hurd; Konrad Slind;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover [J] . Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Journal of Automated Reasoning . 2012,第3期

机译：Matita交互式定理证明中编程语言的形式元理论
2. Formal Specification and Validation of Selective Acknowledgement Protocol using Z/EVES Theorem Prover [J] . Zarina Shukur, Nursyahidah Alias, Mohd Hazali Mohamed Halip, Journal of Applied Sciences . 2006,第8期

机译：使用Z / EVES定理证明器的选择性确认协议的正式规范和验证
3. Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language [J] . A. S. Kossatchev, P. Kutter, M. A. Posypkin Programming and Computer Software . 2004,第4期

机译：基于形式化语言动态语义的形式规格，自动生成严格符合的测试
4. Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving [C] . Mike Gordon, Joe Hurd, Konrad Slind Correct Hardware Design and Verification Methods . 2003

机译：通过机械定理证明执行Accellera属性规范语言的形式语义。
5. Automated conversion from a requirements document to an executable formal specification using two-level grammar and contextual natural language processing. [D] . Lee, Beum-Seuk. 2003

机译：使用两级语法和上下文自然语言处理，将需求文档自动转换为可执行的正式规范。
6. Formal reasoning about systems biology using theorem proving [O] . Adnan Rashid, Osman Hasan, Umair Siddique, 2011

机译：使用定理证明关于系统生物学的形式推理
7. Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications [O] . 2007

机译：接缝视语中物业性关系的正式语义：朝着视觉规格的仿真和分析

Executing the formal semantics of the Accellera Property Specification Language by mechanised theorem proving

著录项

引文网络

相似文献

相关主题

期刊订阅